Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY

Source URL: ect.bell-labs.com

• Type theory
• Algebraic geometry
• Computability theory
• Lambda calculus
• Theoretical computer science
• Role-based access control
• Valuation
• Subtyping
• Monad
• CurryHoward correspondence

  PROPOSAL  OF  FIELDS  OF  STUDY  FOR  THE  PH.D.  DEGREE       Name:    

Source URL: www.cs.ucla.edu

• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• CS
• Theoretical computer science
• Bioinformatics
• Science and technology

Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 21 pages Failure and Equality in Functional Logic Programming ? F. J. L´opez-Fraguas and J. S´anch

Source URL: gpd.sip.ucm.es

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

The Expressive Completeness of Metric Temporal Logic *2ex

Source URL: highlights-conference.org

• Mathematical logic
• Logic
• Fuzzy logic
• Theoretical computer science
• Temporal logic
• Monoidal t-norm logic
• FO
• LTL
• BL
• First-order logic
• Model checking
• MTL

UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey

Source URL: ect.bell-labs.com

• Bisimulation
• Logic in computer science
• Theoretical computer science
• Substitution
• Generalised Whitehead product

Programming Teclmiques S. L. Graham, R. L. Rivest Editors

Source URL: spinroot.com

• Software engineering
• Computer programming
• Computing
• Theoretical computer science
• Parameter
• Subroutines
• Variable
• Limit of a function
• Algorithm
• Dc
• FOCAL-69
• PILOT

2015 Knuth Prize Citation for L´ aszl´ o Babai The 2015 Donald E. Knuth Prize is awarded to L´aszl´o Babai of the University of Chicago for his fundamental contributions to theoretical computer science, including alg

Source URL: www.sigact.org

• Probabilistic complexity theory
• Theoretical computer science
• Morphisms
• Computational complexity theory
• PCP theorem
• Mathematical optimization
• Probabilistically checkable proof
• Combinatorica
• IP
• Algorithm
• Russell Impagliazzo
• Graph isomorphism

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics

Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus Andrew D. Gordon1 and Alan Jeffrey2? 1 2

Source URL: ect.bell-labs.com

• Computability theory
• Lambda calculus
• Theoretical computer science
• Regression analysis
• Computer science
• Mathematics
• Classical cipher